FUN1 VAR0 FUN1 2 FW NULL
VAR0 FUN2 FUN1 3 FW NULL
FUN2 FUN2 FUN2 2 WHILE NORM
